Simplifying Verification of Nested Workflows with Extra Constraints
نویسنده
چکیده
Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NPcomplete problem and a verification method based on constraint satisfaction has been proposed. This paper theoretically justifies the task-collapsing component of this method and provides examples of easy-to-verify constraints.
منابع مشابه
On verification of nested workflows with extra constraints: From theory to practice
Workflows are used to formally describe processes of various types such as business and manufacturing processes. One of the critical tasks of workflow management is automated discovery of possible flaws in the workflow – workflow verification. In this paper, we formalize the problem of workflow verification as the problem of verifying that there exists a feasible process for each task in the wo...
متن کاملA Clustering Approach to Scientific Workflow Scheduling on the Cloud with Deadline and Cost Constraints
One of the main features of High Throughput Computing systems is the availability of high power processing resources. Cloud Computing systems can offer these features through concepts like Pay-Per-Use and Quality of Service (QoS) over the Internet. Many applications in Cloud computing are represented by workflows. Quality of Service is one of the most important challenges in the context of sche...
متن کاملVerification of Temporal Constraints for Concurrent Workflows
Today’s workflow management systems have not sufficiently dealt with time information, which involves time modeling at build-time and time management at run-time. As a consequence, workflow management systems are short of the ability to support the checking of temporal constraints at run-time. Although several approaches have been devised to tackle this problem, they are limited to a single wor...
متن کاملDynamic checking of temporal constraints for concurrent workflows
At present, workflow management systems have not sufficiently dealt with the issues of time, involving time modelling at build-time and time management at run-time. They are lack of the ability to support the checking of temporal constraints at run-time. Although some approaches have been devised to tackle this problem, they are limited to a single workflow and use only static techniques to ver...
متن کاملPolynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol
The Workflow Management Coalition, WfMC for short, has given a protocol for interorganizational workflows, interworkflows for short. In the protocol, an interworkflow is constructed by connecting two or more existing workflows; and there are three models to connect those workflows: chained, nested, and parallel synchronized. Business continuity requires the interworkflow to preserve the behavio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013